---

interpreting axiomatic language

英 [ɪnˈtɜːprətɪŋ ˌæksiəˈmætɪk ˈlæŋɡwɪdʒ] 美 [ɪnˈtɜːrprətɪŋ ˌæksiəˈmætɪk ˈlæŋɡwɪdʒ]

【计】解释公理语言

计算机

---

---